1. Proof by contraposition infers the conclusion "if p then q" from the premise "if not q then not p".

Chứng minh bằng chuyển vế sẽ hình thành kết luận "nếu p thì q" bằng cách chứng minh phát biểu tương phản tương đương "nếu không q thì không p".